Apparently using massively out-of-date versions of PHP is fine... fix
for that