@guilhermito i think we pretty commonly leave these options commented out in the other files. it's not really commented code so much as a cheap way to do alternative builds.