Fixes for the build system
- Fix
make distcheck
and test it with the Buildbot. - Restore
./config/default
(still needs to be updated for the new software environment on Breeze). - Enable the maintainer mode by default. Let's see whether we get any problems with this (see also here).