dph-diophantine-opt fails for the same reason as dph-diophantine-fast (#5065)
drwxr-xr-x - testsuite