[FIX] Release script: Constants defined in path_constants.php are not accessible from the doc/devtools/release.php