On windows, ghc uses .exe extension