defaulting to php5.5