travis config, related to issue #4