There are three options, in order of preference:
a. Tap deeper with the existing size and use a longer screw: easiest. Measure the depth of the bore with a piece of wire, and compare to the stock fastener length. If you've got 3+ mm of usable bore past the stock screw length, go to the longer...