csmith driver fix