die if php version is too low (untested)