Added OSX/Linux compat to LeanCopy.sh