Вам не нужен еще один SDK, вам нужно изменить файл flex-config.xml и добавить дополнительный параметр в команду mxmlc. Посмотрите в sdks \ 4.5.1 \ frameworks \ flex-config.xml и измените узел target-player версию swf на 13, а элемент path узла на правильный playerglobal.swc (доступно на labs.adobe.com)
Параметром компилятора является "-target-player = 11.0.0" (если ваш flex-config.xml отражает эту версию).