[linux] How to create a file with a given size in Linux?