Lack of permissions for running docker
Step "4.a Building locally" fails when doing $ bash build.sh --build --local giving the following error: docker: Got permission denied (...)
Running every docker-related command under sudo works, but a better options seems to be to set up docker to be runnable by the user by adding the user to the docker group, like described here.