Avoid even more bash 4-specific syntax