Avoid more bash 4-specific syntax