Temporary bug fix as the repo wasn't working

Tested on ubuntu 12.04 x64