Make Travis CI working

This fixes #249.