Generated new pinning files.

The pinnings should now be correct after the bugfixes
have been implemented.