fixed OSX filename-related issues