fix chroot_lock reference
[tools/mic.git] / VERSION
1 0.20