bug-fix: test failed on Linux because of wrong file separator