=== building trigger ===
trigger: 9040 bytes
=== building math_proof ===
math_proof: 7696 bytes
=== setup: create the #!/bin/sh script ===
setup: created /tmp/df0243_s
-rwxr-xr-x  1 maxx  wheel  33 Jul  1 11:29 /tmp/df0243_s
BUILD_OK
BUILD_SH_EXIT=0