Small fix to make linux-user compile (without plugins)