t6150: test a few more files.

Interestingly, testing with crlibm knock xmllint out for the count,
so don't do that but see instead

    https://bugzilla.gnome.org/show_bug.cgi?id=725758