Fix: a minor bug in moving integer value to enum type variables;
Fix: makefile.dao for reading manifest.uuid;
Add: a few improvements to integer printing;