make poll available for other platforms lacking it