This is a header used elsewhere in PPSSPP, don't remove it right now.