Add install rules for target 'efc'