some release names (such as 14.0-CURRENT) were not correctly extracted from the fstab during fstab modification