fix Linux g++ errors