paths_dist.py should depends on gen_paths_dist.sh in Makefile
Begin arcbot message
This merge request is automatically copied from !488 (merged) orginally made by @andrii
End arcbot message
Should fix re-configuring paths problem when the same dist tree is used