Load pthread library for concrete execution