fix language names for pygments
final version of 'yet antoher arm-unknown-linux-gnueabi (...)''