ubuntu: delete dispatch.h