profiling: Gracefully handle spaces in filenames

I hope that it works more robust now ...