linux-user: Fix compilation failure