This is annoying.  If this option is just left off, doesn't Travis just do the right thing?