Tiny change to make TravisCI work with AR4