Update to the latest commit

While here:

• Use DISTVERSION as suggested by the Porter's Handbook instead of GH_TAGNAME.
• Clean up the port a little bit.