changed _VKI_NSIG from 33 to 32 owing to error \"Unsupported value for _VKI_NSIG_BPW\"
fixed errors related to VGO_gnu #if cases