Removed duplicate specs.
Re-added lost USE_EXECINFO.