Bump default version of php to 5.5.15