[#48281067] Update Vagrant recipe to use GPDB 4.2.5.0