No longer necessary. Fix for that bug has been shipped in 4.8.5