[Bug 415920] New: Wrong #include in libsatsolver-devel