Override FF_VAGRANT* settings.