Current: /usr/include/linux/gigaset_dev.h

New name: