bsd-user: fix build