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