platform.h instead of system headers for HPUX

This way all the logic for deciding which headers need to be called is
kept inside platform.h.