done issue #88; fixed some errors in builder; fix sc-machine