Added defbomb 0.7.5 by DrPhil