Fix compilation in debug mode