travis: follow configure option change