Fix bug in docker build scripts