Buildfix for Linux, fixes #1994.