Fixes documentation build on Linux.