Maneira adequada de incluir a classe principal do Magento

Sempre que tenho que reescrever a classe principal do Magento, eu uso a seguinte definição de require para incluir essa classe para evitar erro de arquivo não encontrado mais tarde quando habilito o compilador Magento mais tarde na produção.

<?php

if ( defined('COMPILER_INCLUDE_PATH') )
    require 'Mage_Customer_Model_Customer.php';
else
    require 'Mage/Customer/Model/Customer.php';

class Mycompany_Mymodule_Model_Customer
            extends Mage_Customer_Model_Customer
{
    ...
}

http://oceansgem.com/2012/12/proper-way-of-including-core-magento-class/