added verbose flag for Travis CI builds