Fixed another build error on Linux