don't have to if the C code truly didn't change, but this script can't tell that so always run build world twice.