* Updated configure files on Ubuntu 12.04.