Fixing --dir-prefix option type of split_libraries.py

Fixes item `split_libraries.py` item of #632