Ctree hacks for python find_library bug on ubuntu