
These are various different build options for pluto that override values
in Makefile.inc

