Bug fix: boost cache creates weird file names.