#6349: dist tag for SELinuxProject packages