Optimisation: Change default buffer size to 16kb.

This make file IO about 10% faster.