hacky way to fix travis