É possível contornar o fato de que o filtro atempo não está disponível para avconv
(mas o filtro de vídeo setpts é). Basta usar outra ferramenta como sox
para fazer o parte de áudio (ajuste o mapeamento dependendo dos fluxos):
avconv -i input.mkv -c copy -map 0:0 video.raw #copy raw video stream
avconv -i input.mkv -c copy -map 0:1 audio.raw #copy raw audio stream
sox audio.raw audioq.raw speed 4 #speed up(4x)audio&pitch
sox audio.raw audioq.raw tempo 4 #or, to preserve pitch
avconv -i video.raw -filter:v "setpts=0.25*PTS" output.raw #speed up (4x) video
avconv -i output.raw -i audioq.raw final.mkv #combine outputs to .mkv
Há certamente uma maneira mais simples de fazer isso, mas eu tentei com algum arquivo .mkv aleatório e funcionou.