Split a big file into several parts with Linux