Looks like edgeCorner() still doesn't work properly with angles < 90°. Avoid issue by switching to f edges that don't need width adjustments. Also make the roof wider Related: #414
and hole sizes in the fronts
Still untested