# # keep the names short # cdc yes "ColdC" veil yes "VEIL" web yes "Web" #ssl no "SSL" #prodb no "PROGRESS support" ext_math yes "Math"