Added platform_select(). Fixed #94