remove obsolete workarounds

Remove workarounds for genreflex bugs that have been fixed.