isl_map.c: basic_map_init: accept NULL pointer on zero-size allocation