If the newest IPB files are already downloaded, you can just run yourdomain.com/admin/upgrade. If it says everything is already updated it may not have downloaded the files properly. If that is the case, you can download a fresh set of the newest files from the client area and then run the same upgrader above.