Fix for linux build error