Travis uses Ubuntu, which has dash as shell