setup: fix install on debian wheezy
html: add 'button' to html_elements