Fork of smlnj 110.77 for easier packaging