Ubuntu update: 20140821

News:
  install mono v3.6.0 (apt-get install mono-complete)
  install jexus v5.5.3
  upgrade jexus v5.5.3