Fix mocah dev dep for travis