Fixed script compilation error#5

mdietrichstein wants to merge 1 commit intogoogle-deepmind:mastergoogle-deepmind/surface-distance:masterfrom

mdietrichstein:mastermdietrichstein/surface-distance:masterCopy head branch name to clipboard