Workaround bug in nvidia-docker: https://github.com/NVIDIA/nvidia-docker/issues/515

Merged Daniele Venzano requested to merge devel/platform_status into master

Merge request reports