Fixing --dir-prefix option type of split_libraries.py
Merge pull request #818 from josenavas/split_libraries

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