<div dir="ltr"><div>I marked this as "important" following the reportbug guidelines, on the theory that about half the users of a -dev package want the static library and half want the dynamic one. But I might be wrong.<br><br><br></div></div>