`pakcs` started giving me this error, no matter where I ran it from:
jeff_at_jeff-inspiron-2017:~/logic/curry/rslt$ pakcs
[FATAL ERROR: at Sun Dec 2 17:07:26 2018
Could not open resource database
"/home/jeff/logic/curry/install/pakcs-2.0.2/bin/cypm": Inappropriate ioctl
for device]
jeff_at_jeff-inspiron-2017:~/logic/curry/rslt$ cd ..