Fix command line (worked on Windows but not on Linux)