Use include_once, since compatibility mode may cause a class to be passed to autoload() twice.