The workaround is obsolete, the related bug has been fixed in 2015.
Adjust d/debian-edu-config.maintscript and Makefile.