PROP fixes
tpt++: included luasocket