use single-threaded version of PRM* in python bindings