jenkins server on precise64