fixing bug in swift-proxy monitoring, platform_options was undefined