fix compilation on linux

The latest patch has introduced a regression which stopped docker from building.

This patch gets it to build on Linux, but other changes may be needed.