monetdb: Not sorted pkg-plist