trying to improve the travis file as suggested here: https://groups.google.com/forum/#!topic/travis-ci/Fe2xSVg_cZg (revert)