using more portable shell syntax for travis