Fixed executable name in python interface