I have changed it a bit so that switching branches requires just
changing a single line in each of Makefile and Dockerfile.