Add FAVICON_FILENAME option