customizing by modifying head.html failed, now just replace the default favicon.png
commit for site update, this shuold not be done everytime