Check that PHP 5.4 or higher is installed (issue #24)