Fix for weebu/Dockerfile