fix format string, so it works on Windows too