The text 5c888a84c12f, as Debian 7 (Wheezy) shipped it.
remove an allocated id.
ida_simple_remove(9) on Linux now
