Fix hammerhead mk file