Update search path in CATCH module.
Update name of signature file for SML library.