remove another bash-specific use