autogen.sh generated stuff in Singular