silence deprecation warnings when core_extensions are required directly (fixes #337)