Yes, I also only found one infected file the same file as mentioned in the post above.