/share/debian-edu-config/tools/