Do all those other programs do it without changing the pitch of the audio? (Mythfrontend does, but eg mplayer increases the pitch as the speed of the video increases.)
If I have helped you or increased your knowledge, click the 'thumbs up' button to give thanks :) (People with less than 20 posts won't see the "thumbs up" button.)