Andreas Beckmann (3): Makefile: overhaul, install targets depend on build-stamp lib/read_config.sh: add some comments p.conf: set known-problem-directory three bits more