web.xml back to linux format