[vice] Re-add extractor (fixes #4120)

The generic extraction no longer works.