Removed workaround for Tedious bug

Tedious bug seems to be fixed now
(https://github.com/pekim/tedious/issues/185#event-183700594), so we can
drop the workaround for it.