Wait, he mentioned two things: 1124+5472 and 1040NR.
Your answer is to the first option but not the second one right? because if you don't have US source income you still need to file the 1124+5472 but you are not required to do the 1040NR... Or the second one was updated too?