update FastDownward preprocess & search binaries