Setup for travis-CI