Compilation fixes for linux