Some examples of docker files that might be useful