made hphpize executable
added a missing broken header