Compilation fixes on Linux