[Bitbucket]

It looks like the problem was related to permissions to directories under my home directory (/home/bob). Chasing down the stack traces I found that certain directories didn't exist (such as /home/bob/wpilib/tools). I created them manually and still had problems. But once I change the owner (chown command) and group (chgrp command) of the directories under wpilib to 'bob' instead of root everything worked.