A dirty mixin to rescue InnoDB from dumb count(*) of Django admin