depend on php5 package instead of php