no more resource wget (but coolbook_file) for binaries