Quickfix of PHP version.