Put workaround back in RSVP since we reverted the fix in formats.c
Bugfix for xsha512-cuda found by ASAN.