Workaround for a bug in PHP filter_input -function