F: bug about travis configuration