dont use file-5.12, it seems buggy