Hack to (seemingly) fix my clipboard issues. It's a hammer but it
works. Sometimes my linux guest host clipboard stops working with
my Mac. Idea stolen from the Internet, I think from here:
  http://askubuntu.com/a/417128