I had the same problem with the same case (and other cases). The jack I was using was too thick, and wouldn't fit in the case hole. I used an adapter for a while with no issues, so I think any of the ones you linked to will work. I ended up just getting a new AUX cable that has a small end, and now just use that, but thanks for the links. I may pick one or two up for safe keeping.
Moto Defy Green Lens - CM 7.2 / Android 2.3.7
Moto Defy Red Lens - CM 7.2 / Android 2.3.7
Nexus One - CM 11 / Android 4.4.2
Galaxy S II - CM 10.2 / Android 4.3
HTC Desire HD - Stock GB / Android 2.3.6
Galaxy Note 3 - Stock Rooted KK / Android 4.4.2
I had the same problem and I solved it by trimming the plastic / rubber around the base of the 3.5mm audio plug. You may not want to do that to an expensive set of headphones but audio patch cables are like $2 so I don't care if they fall apart after a while.
XDA Developers was founded by developers, for developers. It is now a valuable resource for people who want to make the most of their mobile devices, from customizing the look and feel to adding new functionality. Are you a developer?