Fixed a bug regarding CFLAGS (introduced by merge).