revise the setting of travis