Hi Corinna, On Sat, 16 Jun 2018 09:49:01 +0900 Takashi Yano wrote: > > To resolve this problem, I would like to propose a patch attached. > > I tested the patch for above 8 scenarios, and succeeded for all. > > Could you please have a look? I have noticed that the username returned by id command can be changed by editing /etc/passwd. Therefore I have made a new patch attached. Please have a look. -- Takashi Yano