use 1.3.5 and 1.4.0 in Travis