Configuration for Travis-CI