another little travis change to try to get it building