use PHP_VERSION_ID everywhere