fix config of travis