Remove deprecated encoding pragma