Bug 916059: fix the PIN2 workflow