Trying to fix travis CI still