Fixing dist name (again!)

Change-Id: I7527248e3c0d6ed068e47515d81d298a69c90394