miscellaneous utilities from /usr/games