Patches an gitignore- und Make-Files von Janning (Mail vom 09.10.2013)