Fix 8.1 compilation :(