fix travis build (maybe)