adjust csmith driver timeout