Remove duplicate files (now in luasocket/)