Remove platform.h

It was erroneusly committed back in some
past merge.

No functional change.