change default extension for ogg flac from .ogg to .oga (SF#1762492: http://sourcefor...