apply Jeroens patch to move us to mpeg2dec 0.3.1, also update REQ file and spec file.