use sbt 0.13 when building debian package