builders::mono_develop::build_extracted() fix.