Add temporary hack to Dockerfile to work around Docker Hub build issue