Fix gcc compile (broke in 300f3267776)