Make toolchain happy