bad dragon compilation