This generated config file accidentally includes the process ID of the build process instead of a literal dollar sign (due to '$$' over '\$') https://bugs.debian.org/972336 (found by )