Ok, wait until he initialises his hard drive again and see if this fixes the problem. If he is running Wooshbuild though he should have that plugin, unless he has deleted it.
Make sure that the hard drive is listed under mounts, if it's not there then it needs initialising and mounting.
Worst case, re-flash Wooshbuild and let it add the hard drive as part of the process. Make sure he has his line backed up though before doing any re-flashing.