Travis-CI: improve distribution