mysql capitalization fix for linux