We might want to return relative file names under Windows to overcome
the silly /cygdrive/ stuff. Anyway, I leave this as a comment right
now.