Fix some compilation problems on Linux