fix dependency of php5 module