try to fix travis CI bug