Closing this bug since I didn't get any reply from the submitter after my ping about a month ago. If anybody ever reproduces this problem, feel free to reopen. Brice