fix includes
update sal.h in travis script