#2087: Removed no longer used dev profile.