even more defensive path expansion (see also 8d381fdef898);
even more defensive path expansion (see also 8d381fdef898);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle