Fix for sbt dist, which was broken on a move to sbt13,  debs still broken