add stdlib to eliminate exit warning, ignore st-term