add travis script, explicitly