Extracted from E435
Correct init.vee3.rc for E435