patched up file deplaration error in static.c