workaround for El Capitan#195

dkavraal wants to merge 1 commit into

square:mastersquare/PonyDebugger:masterfrom

dkavraal:masterdkavraal/PonyDebugger:masterCopy head branch name to clipboard