Small patch needed for gcc 3.7.