Fix user-console pacakge name for 4.0