Fixing dist target to build a distro for the paper submission