Use a simpler workaround for platform mixup issue#658

larskanis wants to merge 1 commit intoged:masterged/ruby-pg:masterfrom

larskanis:rc-workaroundlarskanis/ruby-pg:rc-workaroundCopy head branch name to clipboard