Changes to allow build (in docker run) to run as the user, not root, so BUILD directory is easily removable.