more tweaks to the make-cshlib script