BUG: Fix maskedbse.sh's output name when given