fix phpBB header template, add patch to it, fix build.xml