Some fixes to permissioning for Dockerfile.dev