fix create_prefix.pl