Switch to the proper travis format