Case-sensitive linux fix