minix3/lib/libtimers/libtimers_pic.a