Fixing build instructions for ubuntu 13.04