Some docker additions