fix makefiles, change bear-case naming for binary files