add modifications suggested by ppport.h