Work around SBT bug in publishing