Fixes bug in Dockerfile for level8