Prefabricated building element manufacture