Removing references to Procon and Myrcon