I agree with ignoring him unless he talks to you, but you also need to think about if you want to talk to him and what you want to do if he approaches you.