Fix some linux build problems