fixes #81: integrating with Travis CI