See answer to this post:
http://communities.ptc.com/message/16438#16438
same question, only for 5.3. Just change the "release" to 5.1 in the instructions