Configure for Travis-CI