[workspace-hack] use workspace-dotted format and a patch directive

[workspace-hack] use workspace-dotted format and a patch directive #1821