Seems like a bash-specific feature is needed