fixes to Dockerfile for using debian as host VM