src/functions.h: changed init_mines type to int.