Bugfix: specify to apt which mapserver version to use (in this case 6.0.1)