===> Cleaning for tinyx-wscons-0.5nb1