Add library name for Ubuntu 13.04

And fix indent.