For now, we’ve taken the approach of modifying the local-bootstrap.php file:
local-bootstrap.php
The modification will need to be repeated every time Local is updated, but we created a simple bash script to make it as easy as possible when that becomes necessary.