bugfix to filename constraint problem reported by Eric Auer