diff -up src/sage/libs/singular/singular.pyx.orig src/sage/libs/singular/singular.pyx --- src/sage/libs/singular/singular.pyx.orig 2017-03-04 13:34:53.241494624 -0500 +++ src/sage/libs/singular/singular.pyx 2017-03-04 13:35:03.289495008 -0500 @@ -23,6 +23,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