Let's not get overzealous with the PHP versions