I had a few issues whilst following the instructions to install Z88DK on Ubuntu 18.04 so thought I would document my solutions here in case anyone else has similar problems. Note that I am a Linux novice so apologies if any of this seems obvious for a Linux pro.