made PyFragmentLocator executable