fix picobsd cross builds on stable/10