ifxmips should not overwrite DEFAULT_PACKAGES