Fixing these deprecations, which should be fairly simple, is now filed as issue #60