passed as an argument to zinc, which is a compile option