merge fix for inst-legacy_system.pl