@ build-test.php: updated
@ spec/*: updated