Make getCog.sh presumably work on Linux