diff -up src/sage/libs/singular/singular.pyx.orig src/sage/libs/singular/singular.pyx --- src/sage/libs/singular/singular.pyx.orig 2016-10-20 08:19:08.767563517 -0400 +++ src/sage/libs/singular/singular.pyx 2016-10-20 08:19:15.138563761 -0400 @@ -21,6 +21,8 @@ cdef extern from "limits.h": long INT_MAX long INT_MIN +from libc.stdint cimport int64_t + import os from libc.stdint cimport int64_t