extended handling for --movable flag, make debian use the platform flag, update #1936