install stdlib from github as it is not available in ubuntu 12.04 precise