[docedit] minor fix for build on mac

4 jobs for docedit in 8 minutes and 53 seconds (queued for 6 seconds)
Status Job ID Name Coverage
  Build
passed #186031
docker
build_linux_36

00:02:42

74.0%
passed #186032
docker
build_linux_37

00:02:39

74.0%
passed #186029
macosx
build_macosx_36

00:08:53

74.0%
passed #186030
macosx
build_macosx_37

00:08:40

74.0%