Last i heard OpenDMARC uses the libspf2 library and doesn't have internal SPF code. As long as the library is updated then OpenDMARC will work. That said, Im still trying to figure out if current versions of libspf2 properly uses macros.