Simplify HAVE_MODULES use in mark_maybe_pointer