Proper_extension loading ...