No sirve DateTime format ya que no soporta locales, la letra b tampoco significa nada. Él lo que quiere es "traducir" el mes en forma corta (dec por dic), yo sugiero un reemplazo y ya te evitas problemas con las fechas basadas en timestamp *nix.
Cita: Este método no utiliza regiones. Todas las salidas son en inglés.
http://php.net/manual/es/datetime.format.php