Element: successfully shut down bottle, getting filename from window header