attempt at fix for Docker bug #6047