Updated libraries. Fixed a bug in deployment tool. Several minor inconsistencies fixed.