Ignore execfile() return value; reported by Neal Norwitz.
1 file changed