A better workaround

Just use the flash.media.Sound library instead of WavSound.