===> Cleaning for gogui-0.9.3