Make VPID use PID-width format. Closes #79.