Update Docker build script accordingly. Also fix permission issue with docker build (all files belonged to root).