Added --definitions option.