Possible fix for issue #94: revert a v0.12-vintage change to fix_future_standard_library