Here's successful compilation: <http://i.imgur.com...