As per https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=941563#42 I have orphaned the binfmtc package. The package description is: Linux binfmt_misc handler for C, C++, Assembly languages, Fortran, Java(GCJ). . Using the binfmt_misc interface, binfmtc allows users to seamlessly execute C source code as if they were scripts. . Includes example utilities realcsh.c, realksh.c, which are for your real C scripting pleasures.