[*] Fix compilation issues on Linux