I had that happen to me on a Marushin XM a few years ago (now sold on)
I thought, would a real one work?
Ordered one from someone in the UK but cannot remember the seller.
I recall that it fit fine, had to slightly file the bottom I think?
But it worked flawlessly.
AR15 bolt releases are easily bought here in the UK (not a restricted part) I use Brownells without any problems, but it would cost you around £6.00 shipping for a £8 catch.
If you can wait until December, I'm putting in an order and can add one to my order, if you're needing one quite quickly drop Gavin at Brownells UK a quick email to see if he has one in stock in the stores?
When you get and fit one it will be easy to see how to alter it.
Hope this helps