Crude hack to get this to work on Ubuntu 12.04.