Linux capitalization weirdness