[armedbear-devel] Commit for bug with spaces in directory backported to 0.23.x