Correct bash filename wildcard syntax.