assign a value to org-html-head extra dynamically, depending on your computer setup