Fix Travis-CI test script