travis configuration | fixes #3