error: the specified solver "non_existing_solver" was not found in path