[PATCH 9/9] othptab.c: simplify destroyothptable()