Makefile: I was wrong about the directories created by jiri-v23-profile install
Makefile: I was wrong about the directories created by jiri-v23-profile
install

Change-Id: I091ef1bea906315385970e45a61f40657f779545

vanadium/mojo.syncbase