Fix bug #44: fix anchors of files with spaces in their name