fixes #5934: it is possible to create 'Docker' containers now