quick hack to make it work on ubuntu