Update Travis-CI script