Patrick was stupid to delete this file. Recreated it from previous commits.