Linux compatibility improvement - accidentally left out in previous commit.