update platform.hpp from libzmq 3.3.0