12.04 fixes

Changes to allow "bootstrap" and "configure" to complete successfully on 12.04 (and possibly newer) Ubuntu versions.