[Bug 415920] Wrong #include in libsatsolver-devel