Move compatibility file (fixes #858)