Change debuginfo format