a bit cleanup:fix
remove cold/Ulexing.ml temporarily