tested against own prelude tag 'rebuilt1.0'