Debug Info:

define( 'ARVE_PRO_FILE', FILE );define( 'ARVE_PRO_VERSION', '4.2.0' );

I had followed the instruction as described manually but still cannot update to the latest version. 

Your ARVE Pro Addon is outdated, you need version 4.2.5 or later. If you have setup your license here semi auto updates (Admin panel notice and auto install on confirmation) should work again. If not please report it and manually update as described here

This is what I had done, wondering is it right?

define( ‘ARVE_PRO_FILE’, FILE );
define( ‘ARVE_PRO_VERSION’, ‘4.2.0’ );

Answered question