fixed type in Makefile.config.example