adapated configure.ac to work for ubuntu 12.04