Unicode typing on Ubuntu 14.10