[macintux]

Yes...ish. That's the correct pronunciation, but neither are used frequently enough for me to be confident that's the actual pronunciation, and I'd wager it's different in different places.