shell now has a verbose mode, check the #define VERBOSE, minor fixes here and there