remove trailing '\r' from file names returned by coqtop