PaStiX: version 5.2.2.16.