Delete decoders.h