marking dependency on 5.12 in main module