fix travis (maybe)