/PRB/*.pbm are problems for Problemist. Import them from the menu Base, Database
