fix PHP_SELF emitting slash on some OS