/* This is a dummy C file to keep GNUmakefile happy */
main() {}