configure Travis CI and fix #1