Add Eiffelstudio variables to .extra