Hal> So should we make libibat install sa.h ? Does that solve this? Yes, at least for the short term, one solution is to take sa.h out of libibcm completely and have libibat install it. And of course make sure it gets added to the EXTRA_DIST. - R.