Fix bug in Linux that made the output file to be empty