Fix: travis script.