Made it compile on x86_64 linux with gcc