docker files, and other bits