Use 1.4-devel for travis tests