Another fix for ebc.mk