corefile.exp: XFAIL warning-free test when testing on docker