add back explicit boxen1 version to formula