small fix to triggers stdlib
cpp: Added options