Add dependency on php5