A few days ago ffmpeg released 0.5.2. Does it make sense to switch to this version or is it just the same as 0.5.1 with two of our patches merged? The changelog didn't read exhaustive...