linux compilation has been fixed