Mark non returning functions
Fix a problem with ISA server proxy
Fix failing make check