update Dockerfile to work with current mirage-dev