A fork of PyCmd with some private extension