FIX: Vrui.pc follows a different version format

The version is converted from 3.000-002 to 3000002.