Avoid adding extra slashes to the INCLUDE_PATH

When the include path is written in bootstrap.php, ensure that extra slashes are not accidentally added