Fix ci as suggested by travis