printf' utility instead of
This fixes changing directories when shell is bash >= 3.2. PR: 113996 Obtained from: Midnight Commander CVS