Followup to 0933426 and c5a6819: I had forgotten to update the project files.