do not try to test PHP 5.4