since when was linux case sensitive?