#include "config.h" here will (should?) ensure that any platform
dependencies defined in config.h should be reflected in all .c files...