Linux adaptations
and forgot to commit a script.