bug fixes and avoiding deprecation warnings#2

michaelpradel wants to merge 1 commit into

shirgur:mastershirgur/PointerNet:masterfrom

michaelpradel:mastermichaelpradel/PointerNet:masterCopy head branch name to clipboard