Fix: the linux default generates file, and the scripts. Related to #1126