===> Cleaning for sigscheme-0.9.1