some adjustments to filetypes.sh