Comply with POSIX shell syntax. Fixes #7908.