Fix bug #19609: use lowercase extension