/* dummy header file to support BSD compiler */