Another compile fix for VCRFrontEnd :/