debian/tmp/usr/lib/libhpgsswf.so debian/tmp/usr/include/hpgsswf.h