you cannot include headers from Singular/ or kernel/ anywhere under libpolys/.