Adds constants.php.