Configuration for Travis-ci