Singular/Sources — pull request #317 by mmklee (2013-04-10 13:03:09+00:00)
Title: fix: include problems when compiling without NTL but with FLINT

viewLog.html?buildId=6324&tab=buildResultsDiv&buildTypeId=bt11
viewLog.html?buildId=6311&tab=buildResultsDiv&buildTypeId=bt7