Added file to Magritte definition