setup for travis CI