tools/diagrams-builder-ps.hs: fix warnings