Update Makefile for linux extensions