ucon64 patched to build on Ubuntu 14.04