Fix regeneration command in SAVE-UTILS-AS