Compile fixes for linux-user mode