Fix gitorious repo url for device dependent code