travis ci configuration fix