Fix capitalization issue for linux.