Fix #1036: Change type of fastOptJS/fullOptJS to Attributed[File]