also use boost codecvt on linux