Fixed web.xml to work on Linux.