Fixes for the Dockerfile