Fibred_category loading ...