I should add that since I posted this bug I googled for related packages and now I am using auto-pst-pdf, which in my opinion does a much better job than pdftricks, so the bug doesn't affect me anymore (but it is still there).
I should add that since I posted this bug I googled for related packages and now I am using auto-pst-pdf, which in my opinion does a much better job than pdftricks, so the bug doesn't affect me anymore (but it is still there).