This is unfortunate... no way to force the filename even when compiling entirely by hand. :(