* Work around Cargo build #4866. This fixes #697. * Rename "cargo4866workaround" to "core" per review feedback.