Without this the vscode extension cannot find the example executable, and the example fails. Also use $USERPROFILE instead of $HOME for finding the `.vscode` user directory for installing the extension. Bug: #12