The official battery replacement guide by Nintendo says the screws should indeed be removed by a Phillips #00 screwdriver, so I've edited the guide to reflect that.

They are actually JIS screws though so they could be stripped by that screwdriver