PRETRANS

<lua>

path = "/usr/include/eigen3/Eigen"
st = posix.stat(path)
if st and st.type == "link" then
  os.execute("rm -rf " .. path)
end
path = "/usr/include/Eigen"
st = posix.stat(path)
if st and st.type == "directory" then
  os.execute("rm -rf " .. path)
end