Use official version

2.4.7.2 seems not to be an official release of OpenCV. the latest
official version is 2.4.7, which is used instead.