Updated Travis-CI script