Also create a PREFIX file.