This file is from the standard implementation of all the backends. Seemed like the thing to do was to leave it in. :)