Fix compilation in release mode