Now we hide searchtools for flexpaper, if it is not available