Every file-extension check is now case-insensitive