refs #1 fixes travis-ci shell script Permission denied problem