renamed file names from mangled to managed-*