A few bugfixes from the previous two commits. New -S option in gtcheck and -H made work also in the cross-check mode