Fix compilation, why this didn't work for me but works for others is a mystery