The core/build-docker.sh si broken, but so it was already in master and is tracked to be fixed in #108.