travis-ci release tweaks