Dockerfile workaround for broken python/Makefile