Use 1.4.devel for travis tests