idris-0.9.5.1: config.mk

GMP_INCLUDE_DIR :=
CC              :=gcc
CABAL           :=cabal