Making it run on Ubuntu 12.04.