Makefile for picodb.c