Prevent too early execution of objdump

Whithout this change, objdump will be also executed e.g. when performing »make clean«.