small fixes and removed fpt_rob_ext.1