Flush cache manager at command termination (fix #32)