WIP: Comment out php5_module, it will be inserted by phpbrew