That should fix the 1.7.2 build failure.