Merge pull request #372 from JewelJar/master

fixed broken Docker build.