Fixed wrong filename in setup file