Workaround for a change necessary for the Linux build.