If you look at the bug report forum you will see there was a last minute update to that file. Possibly in the rush it is the wrong file or just like you said just change the version number.
Better wait for Rick to respond if you can wait that long.
IF not manually change it and replace just that file when Rick responds if needed.
_________________________
Blue Man Group