@ operators/build.php: a bug fixed