fix AV value in libroboint.c