Patched bug(s) in postscipt driver