Sort of dealing with #795 with a newly-compiled frontend