fix Proteus source