Missionary doggy compilation

From:
Date: November 17, 2020