avoiding compiler warning in Flash CC (closes #422)