Make execinfo check smarter, so it requires the headers and symbols both be present in some form to use execinfo Closes #577