BUG problem with build.log not being flushed (closes #114)
Merge pull request #123 from hashdist/bug114

BUG problem with build.log not being flushed (closes #114)