Patch to make work on web servers other than Apache