I have an idea, give him the apk for the previous version of dosbox that did run successfully for him, and see if it runs fine… If it no longer runs like it did, then something fundamentally changed on his phone and its not magic dosbox.
On a unrelated note, I’m holding off on android pie update for my s8 plus… Everything is running perfectly and I’m afraid Pie update will break something.