Fix building of shbench and pagefault-scalability.
Update .gitignore