travis fixes.. another try...