adjust redeclarations of picosat API functions