Fixes #2: add necessary file