Fix problems for linux compilation