libffi: note why we reverted