- DavidPH's patch for Linux compilation.