* Updated configure script on Ubuntu 12.04.