Er det mulig å gjøre om disse filene til et annet format uten å faktisk ha RealPlayer eller noen Real produkter installert?