Remove check for $CTRULIB -- it isn't needed anymore.