Make jumping case-sensitive even with noignorecase