Adjust configure flag in Travis config.