debian/tmp/usr/include/coin/OS*
debian/tmp/usr/include/coin/config_os.h
debian/tmp/usr/lib/libOS.so
debian/tmp/usr/lib/libOS.la