updates for travis CI