fix `file-stamp-in-paths', which affects DrRacket's auto compilation  Merge to 5.0.1 (cherry picked from commit 7c4eddc7085c563bc71e1c65f6c5bc0cebc0adbf)
fix `file-stamp-in-paths', which affects DrRacket's auto compilation
 Merge to 5.0.1
(cherry picked from commit 7c4eddc7085c563bc71e1c65f6c5bc0cebc0adbf)

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket