settings: add PPROF_MAIL for future use
settings: add PPROF_MAIL for future use

Former-commit-id: 2c7e22430a070eb2bd844aab004848edbb4684c0
Former-commit-id: 608587935c1b48731fbb03391adad71ed9748aa8 [formerly 0ed7221d5ef9531d10dc2dd35dc6bda615dce1ea] [formerly 2642d3bcbc7359ed071a87816be03bd2e28ac51a [formerly 38bd3643b445cd240fa5f4ca4776412de76296a4]]
Former-commit-id: 18345849d8e1302e3e340ad9f0d9eda03b3c3a94 [formerly f801bd669f379cb9df824431ec02e5ddf66a952a]
Former-commit-id: a64467a27750214e4802d161692182bafb7d18b6
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild