Linux compilation

Needed for linux compilation.