src/debian-edu-config/bin
