remove workaround for solved Issue 10317, and make the build script run dgen_driver automatically for now.