regen platform.hpp

on:

- OS X 10.9
- FreeBSD 10
- Fedora 15