Dockerfile for directhex/monoxide mono-devel package on Ubuntu 3.10