manually setting filetype is so old school