* Updated configure scripts on Ubuntu 12.04.