Fix deprecated virtualbox issue; set NIX_PATH.
Remove note.