Remove outdated gdb formula