try libpetsc_real.so if libpetsc.so is not available (for ubuntu 20.04)

2 jobs for master in 51 minutes and 32 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed mfbuild #86138

00:02:06

 
  Test
passed mftests #86139

00:49:26