Make 404 pages work (in embedded tomcat, may need extra config to work in war)