Remove pthread library.
Provide error message for unsupported ASP solver.