Do you have a particular timestamp where you're hearing that? To me it sounds like he's pronouncing it the same way that Stallman does.

https://www.youtube.com/watch?v=UK52v6bCPvg