print version only at the first time
add some compilation flags
reload the web page after abort()
Merge branch 'master' into gh-pages
make gh-pages