cleanup of libsyntax