Fixed generation on Linux