check for PHP 5.1.3 as minimum version, refs #456