Tweak for latest php version