Fix 'make install' overly broad 'rm'