fix to make example and benchmark link for ubuntu 14.04