unbreak flush_deleted_recgroup.pl
(cherry picked from commit 2e4287c887eada440cbaf313c502d5dd5fb27cbf)