(include_subdirs no) (executable (name VericertTest) (libraries vericert))